/**
 * \file util.h
 * \author Davide Gessa
 * \date 10-12-09
 */
#ifndef UTIL_H
#define UTIL_H

#include <types.h>

/**
 * Struttura dati per le info del kernel
 */
typedef struct 
{
	char name[32];
	char ver[16];
	char rev[16];
	char date[16];
	char time[16];
	char arch[16];
} sysinfo_t;

void sysinfo_get(sysinfo_t *);

char *itoa(int);
void *memset(uint8_t *, uint8_t, size_t);
uint8_t bcd2bin(uint8_t);
size_t strlen(char *);
void strcpy(char *, char *);
void strcat(char *, char *);
int strcmp(char *, char *);
void show_used_memory();
void show_task_message_list(pid_t);
void show_task_list();
int task1(int, char **);
int task2(int, char **);

#endif
